Constructing cryptographic definitions

Constructing Cryptographic Definitions

This paper mirrors an invited talk to ISCISC 2011. It is not a conventional paper so much as an essay summarizing thoughts on a little-talked-about subject. My goal is to intermix some introspection about definitions with examples of them, these examples drawn mostly from cryptography. Underpinning our discussion are two themes. The first is that definitions are constructed . They are invented ...

Cryptographic Accumulators: Definitions, Constructions and Applications

After their first appearance in the cryptographic community ten years ago, cryptographic accumulators have received a discontinuous attention from the researchers of the field. Although occasionally studied, there has been no systematic effort to organize the knowledge of the subject, abstracting away from the unnecessary details of specific proposals, so as to provide a reliable starting point...

Methodology for Constructing Problem Definitions in Bioinformatics

MOTIVATION A recurrent criticism is that certain bioinformatics tools do not account for crucial biology and therefore fail answering the targeted biological question. We posit that the single most important reason for such shortcomings is an inaccurate formulation of the computational problem. RESULTS Our paper describes how to define a bioinformatics problem so that it captures both the und...

Constructing Orders By Means of Inductive Definitions

On the Definitions of Cryptographic Security: Chosen-Ciphertext Attack Revisited

Report on Models and Definitions for Cryptographic Protocols

This report focuses on models and definitions for cryptographic protocols. We consider different notions of security and discuss some of the most widely used models and set-up assumptions (e.g., random oracle, common reference string, bare public keys, trusted computing base). We consider as examples some two-party games (e.g., zero-knowledge proof systems, commitment schemes, ), present the cu...